132 Pre - Boolean Algebra , Ordered Dsmt and Dsm Continuous Models
نویسنده
چکیده
When implementing the DSmT, a difficulty may arise from the possible huge dimension of hyper-power sets, which are indeed free structures. However, it is possible to reduce the dimension of these structures by involving logical constraints. In this chapter, the logical constraints will be related to a predefined order over the logical propositions. The use of such orders and their resulting logical constraints will ensure a great reduction of the model complexity. Such results will be applied to the definition of continuous DSm models. In particular, a simplified description of the continuous impreciseness is considered, based on impreciseness intervals of the sensors. From this viewpoint, it is possible to manage the contradictions between continuous sensors in a DSmT manner, while the complexity of the model stays handleable.
منابع مشابه
Order in DSmT; definition of continuous DSm models
Abstract. When implementing the DSmT, a difficulty may arise from the possible huge dimension of hyperpower sets, which are indeed free structures. However, it is possible to reduce the dimension of these structures by involving logical constraints. In this paper, the logical constraints will be related to a predefined order over the logical propositions. The use of such orders and their result...
متن کاملDSm field and linear algebra of refined labels
This chapter presents the DSm Field and Linear Algebra of Refined Labels (FLARL) in DSmT framework in order to work precisely with qualitative labels for information fusion. We present and justify the basic operators on qualitative labels (addition, subtraction, multiplication, division, root, power, etc).
متن کاملDIRECTLY INDECOMPOSABLE RESIDUATED LATTICES
The aim of this paper is to extend results established by H. Onoand T. Kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. The main theorem states that a residuatedlattice A is directly indecomposable if and only if its Boolean center B(A)is {0, 1}. We also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...
متن کاملSome Notes concerning the Homogeneity of Boolean Algebras and Boolean Spaces
In this article we consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated. It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters and has a dense subset D such that for every a ∈ D the relative algebra B 1 a := {b ∈ B : b ≤ a} is isomorphic to B. In particular, the fre...
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کامل